$\forall$$A$, $B$:Top List. $\neg$null($B$) $\Rightarrow$ (last($A$ @ $B$) $\sim$ last($B$))